module(unparameterized("Green-Marl"),[imports([module(unparameterized("Common"))])],[exports(conc-grammars(context-free-start-symbols([sort("Start")]),context-free-syntax([prod([lit("module"),sort("ID"),iter-star(sort("Definition"))],sort("Start"),attrs([term(cons("Module"))])),prod([lit("entity"),sort("ID"),lit("{"),iter-star(sort("Property")),lit("}")],sort("Definition"),attrs([term(cons("Entity"))])),prod([sort("ID"),lit(":"),sort("Type")],sort("Property"),attrs([term(cons("Property"))])),prod([sort("ID")],sort("Type"),attrs([term(cons("Type"))]))])))])